<?php
//	ob_start();
    session_start();
    //echo $_SESSION["AdminUser"]; exit;
    if (!($_SESSION["AdminLogin"]===true && $_SESSION["AdminUser"]!=null)) {
        header("location: admin_login.php");
    }

//	ob_end_flush();
